<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="tutorial.css">
<TITLE>
Getting started with Interval Constraints
</TITLE>
</HEAD>
<BODY >
<A HREF="tutorial046.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="tutorial063.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H1 CLASS="chapter"><A NAME="htoc114">Chapter&nbsp;8</A>&nbsp;&nbsp;Getting started with Interval Constraints</H1>
<A NAME="chapicintro"></A>
<BR>
<BR>
The Interval Constraints (IC) library provides a constraint solver which
works with both integer and real interval variables.
This chapter provides a general introduction to the library, and then
focusses on its support for integer constraints.
For more detail on IC's real variables and constraints, please see
Chapter&nbsp;<A HREF="tutorial063.html#chapreal">9</A>.<BR>
<BR>
<UL>
<LI><A HREF="tutorial054.html">Using the Interval Constraints Library</A>
<LI><A HREF="tutorial055.html">Structure of a Constraint Program</A>
<LI><A HREF="tutorial056.html">Modelling</A>
<LI><A HREF="tutorial057.html">Built-in Constraints</A>
<LI><A HREF="tutorial058.html">Global constraints</A>
<UL>
<LI><A HREF="tutorial058.html#toc63">Different strengths of propagation</A>
</UL>
<LI><A HREF="tutorial059.html">Simple User-defined Constraints</A>
<UL>
<LI><A HREF="tutorial059.html#toc64">Using Reified Constraints</A>
<LI><A HREF="tutorial059.html#toc65">Using Propia</A>
<LI><A HREF="tutorial059.html#toc66">Using the <EM>element</EM> Constraint</A>
</UL>
<LI><A HREF="tutorial060.html">Searching for Feasible Solutions</A>
<LI><A HREF="tutorial061.html">Bin Packing</A>
<UL>
<LI><A HREF="tutorial061.html#toc67">Problem Definition</A>
<LI><A HREF="tutorial061.html#toc68">Problem Model - Using Structures</A>
<LI><A HREF="tutorial061.html#toc69">Handling an Unknown Number of Bins</A>
<LI><A HREF="tutorial061.html#toc70">Constraints on a Single Bin</A>
<LI><A HREF="tutorial061.html#toc71">Symmetry Constraints</A>
<LI><A HREF="tutorial061.html#toc72">Search</A>
</UL>
<LI><A HREF="tutorial062.html">Exercises</A>
</UL>

<BR>
<BR>
<HR>
<A HREF="tutorial046.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="tutorial063.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
